Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
51	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
52	WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen, Add to Reading List Source URL: coccinelle.lip6.fr Language: English Computing Software engineering Computer programming Data types Object-oriented programming languages Memory management C++ Scripting languages Null Coccinelle Pointer Application programming interface
53	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
54	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
55	Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Logic Logic programming Automated theorem proving Prolog Substitution Interpreter Term Programming language Declarative programming
56	Behavioral Reactivity and Real Time Programming in XML Functional Programming meets SMIL Animation Patrick Schmitz Simon Thompson Add to Reading List Source URL: www.ludicrum.org Language: English - Date: 2004-10-26 03:04:07 Markup languages Functional languages Computer file formats Technical communication Synchronized Multimedia Integration Language Query languages XHTML+SMIL Declarative programming Programming language JavaScript XPath Domain-specific language
57	Christopher S. Meiklejohn 50 Elite Drive, Warwick, RI, 02889 http://www.christophermeiklejohn.com PROFILE Add to Reading List Source URL: christophermeiklejohn.com Language: English - Date: 2016-08-08 07:05:20 NoSQL Cloud infrastructure Cloud storage Concurrent programming languages Basho Technologies Erlang Riak International Conference on Functional Programming Conflict-free replicated data type Actor model Declarative programming
58	I Aver: Providing Declarative Experiment Specifications Facilitates the Evaluation of Computer Systems Research Ivo Jimenez and Carlos Maltzahn Jay Lofstead Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Validity Pharmaceutical industry Measurement Psychometrics Reproducibility Scientific method Validation Declarative programming
59	02157 Functional Programming - Lecture 1: Introduction and Getting Started Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2012-09-06 09:06:11 Programming paradigms Functional languages Procedural programming languages Functional programming Declarative programming Technical University of Denmark Standard ML Imperative programming Programming language ML Procedural programming Lisp
60	Répertoire International de Littérature Musicale International Repertory of Music Literature Internationales Repertorium der Musikliteratur Writing abstracts Please read these brief guidelines for writing abstracts. Th Add to Reading List Source URL: www.rilm.org Language: English - Date: 2015-10-22 11:24:06 Rpertoire International de Littrature Musicale Musicology Music libraries Abstract Colin McPhee Balinese people Balinese Rpertoire International des Sources Musicales Stowe Psalter Declarative programming Music of Bali Bali